Martel, Matthieu: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Role of the Oxygen/Water Redox Couple in Suppressing Electron Conduction in Field-Effect Transistors

Carla M. Aguirre, Pierre L. Levesque, Matthieu Paillet, François Lapointe, Benoit C. St-Antoine, Patrick Desjardins, Richard Martel

Journal:

Advanced Materials

Year:

2009

Language:

english

File:

PDF, 336 KB

english, 2009

2

Semantics of roundoff error propagation in finite precision calculations

Matthieu Martel

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 502 KB

english, 2006

3

[IEEE 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006) - Duisburg, Germany (2006.09.26-2006.09.29)] 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006) - GRKLib: a Guaranteed Runge Kutta Library

Bouissou, Olivier, Martel, Matthieu

Year:

2006

Language:

english

File:

PDF, 231 KB

english, 2006

4

Autologous dermis graft versus conchal cartilage graft for managing lower eyelid retraction: A comparative study

Martel, Arnaud, Farah, Edgar, Zmuda, Matthieu, Almairac, Fabien, Jacomet, Pierre Vincent, Galatoire, Olivier

Journal:

European Journal of Ophthalmology

Year:

2020

File:

PDF, 877 KB

2020

5

Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics

Matthieu Martel

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 488 KB

english, 2009

6

High performance resonance Raman spectroscopy using volume Bragg gratings as tunable light filters

Paillet, Matthieu, Meunier, Francois, Verhaegen, Marc, Blais-Ouellette, Sebastien, Martel, Richard

Journal:

Review of Scientific Instruments

Year:

2010

Language:

english

File:

PDF, 505 KB

english, 2010

7

Wall-Selective Probing of Double-Walled Carbon Nanotubes Using Covalent Functionalization

Bouilly, Delphine, Cabana, Janie, Meunier, François, Desjardins-Carrière, Maxime, Lapointe, François, Gagnon, Philippe, Larouche, Francis L., Adam, Elyse, Paillet, Matthieu, Martel, Richard

Journal:

Year:

2011

Language:

english

File:

PDF, 1.52 MB

english, 2011

8

Accurate Evaluation of Arithmetic Expressions (Invited Talk)

Martel, Matthieu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 284 KB

english, 2012

9

Directed Assembly of SWNTs by Electrostatic Interactions and its Application for Making Network Transistors

Cabana, Janie, Paillet, Matthieu, Martel, Richard

Journal:

Year:

2010

Language:

english

File:

PDF, 2.93 MB

english, 2010

10

[IEEE 2009 International Conference on Embedded Software and Systems - Hangzhou, China (2009.05.25-2009.05.27)] 2009 International Conference on Embedded Software and Systems - Abstract Simulation: A Static Analysis of Simulink Models

Chapoutot, Alexandre, Martel, Matthieu

Year:

2009

Language:

english

File:

PDF, 1.35 MB

english, 2009

11

[IEEE 2013 IEEE 24th International Conference on Application-specific Systems, Architectures and Processors (ASAP) - Washington, DC, USA (2013.06.5-2013.06.7)] 2013 IEEE 24th International Conference on Application-Specific Systems, Architectures and Processors - Synthesizing accurate floating-point formulas

Ioualalen, Arnault, Martel, Matthieu

Year:

2013

Language:

english

File:

PDF, 209 KB

english, 2013

12

[IEEE 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, TBD, Romania (2011.09.26-2011.09.29)] 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations

Martel, Matthieu

Year:

2011

Language:

english

File:

PDF, 192 KB

english, 2011

13

[IEEE 2009 International Conference on Embedded Software and Systems - Hangzhou, China (2009.05.25-2009.05.27)] 2009 International Conference on Embedded Software and Systems - In Pursuit of Real Answers

Zhu, Angela Yun, Taha, Walid, Cartwright, Robert, Martel, Matthieu, Siek, Jeremy G.

Year:

2009

Language:

english

File:

PDF, 638 KB

english, 2009

14

[ACM Press the 1997 ACM SIGPLAN symposium - Amsterdam, The Netherlands (1997.06.12-1997.06.13)] Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 - Self-applicable partial evaluation for the pi-calculus

Gengler, Marc, Martel, Matthieu

Year:

1997

Language:

english

File:

PDF, 892 KB

english, 1997

15

AIP Conference Proceedings [AIP XXII INTERNATIONAL CONFERENCE ON RAMAN SPECTROSCOPY - Boston (MA) (8–10 August 2010)] - High Performance Resonance Raman Spectroscopy Using Volume Bragg Gratings as Tunable Light Filters

Verhaegen, Marc, Paillet, Matthieu, Meunier, François, Blais-Ouellette, Sébastien, Martel, Richard, Champion, P. M., Ziegler, L. D.

Year:

2010

Language:

english

File:

PDF, 18 KB

english, 2010

16

[ACM Press the 4th International Workshop - Grenoble, France (2010.07.21-2010.07.23)] Proceedings of the 4th International Workshop on Parallel and Symbolic Computation - PASCO '10 - Accuracy versus time

Langlois, Philippe, Martel, Matthieu, Thévenoux, Laurent

Year:

2010

Language:

english

File:

PDF, 588 KB

english, 2010

17

[ACM Press the 12th ACM International Conference - Ischia, Italy (2015.05.18-2015.05.21)] Proceedings of the 12th ACM International Conference on Computing Frontiers - CF '15 - Optimizing the accuracy of a rocket trajectory simulation by program transformation

Damouche, Nasrine, Martel, Matthieu, Chapoutot, Alexandre

Year:

2015

Language:

english

File:

PDF, 717 KB

english, 2015

18

[ACM Press the ACM-SIGPLAN-SIGSOFT workshop - Washington DC, USA (2004.06.07-2004.06.08)] Proceedings of the ACM-SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '04 - Validation of assembler programs for DSPs

Martel, Matthieu

Year:

2004

Language:

english

File:

PDF, 714 KB

english, 2004

19

[ACM Press the 2009 ACM SIGPLAN workshop - Savannah, GA, USA (2009.01.19-2009.01.20)] Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 - Program transformation for numerical precision

Martel, Matthieu

Year:

2008

Language:

english

File:

PDF, 509 KB

english, 2008

20

[IEEE 2014 Conference on Design and Architectures for Signal and Image Processing (DASIP) - Madrid, Spain (2014.10.8-2014.10.10)] Proceedings of the 2014 Conference on Design and Architectures for Signal and Image Processing - Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition

Martel, Matthieu, Najahi, Amine, Revy, Guillaume

Year:

2014

Language:

english

File:

PDF, 341 KB

english, 2014

21

[IEEE 2015 IEEE 18th International Conference on Computational Science and Engineering (CSE) - Porto, Portugal (2015.10.21-2015.10.23)] 2015 IEEE 18th International Conference on Computational Science and Engineering - Automatic Source-to-Source Error Compensation of Floating-Point Programs

Thevenoux, Laurent, Langlois, Philippe, Martel, Matthieu

Year:

2015

Language:

english

File:

PDF, 234 KB

english, 2015

22

Dynamics and Mechanisms of Exfoliated Black Phosphorus Sublimation

Fortin-Deschenes, Matthieu, Levesque, Pierre L., Martel, Richard, Moutanabbir, Oussama

Journal:

The Journal of Physical Chemistry Letters

Year:

2016

Language:

english

File:

PDF, 2.22 MB

english, 2016

23

Preface

Bogomolov, Sergiy, Martel, Matthieu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 101 KB

english, 2015

24

[IEEE 2016 International Conference on Control, Decision and Information Technologies (CoDIT) - Saint Julian's, Malta (2016.4.6-2016.4.8)] 2016 International Conference on Control, Decision and Information Technologies (CoDIT) - Data-types optimization for floating-point formats by program transformation

Damouche, Nasrine, Martel, Matthieu, Chapoutot, Alexandre

Year:

2016

Language:

english

File:

PDF, 267 KB

english, 2016

25

Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time

Thévenoux, Laurent, Langlois, Philippe, Martel, Matthieu

Journal:

Concurrency and Computation: Practice and Experience

Year:

2016

Language:

english

File:

PDF, 14.57 MB

english, 2016

26

Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks

Martel, Matthieu, Najahi, Amine, Revy, Guillaume

Journal:

Journal of Systems Architecture

Year:

2016

Language:

english

File:

PDF, 2.10 MB

english, 2016

27

Improving the numerical accuracy of programs by automatic transformation

Damouche, Nasrine, Martel, Matthieu, Chapoutot, Alexandre

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 1.95 MB

english, 2016

28

[Lecture Notes in Computer Science] Numerical Software Verification Volume 10152 ||

Bogomolov, Sergiy, Martel, Matthieu, Prabhakar, Pavithra

Year:

2017

Language:

english

File:

PDF, 3.97 MB

english, 2017

29

[Lecture Notes in Computer Science] Numerical Software Verification Volume 10152 || Verification of Networks of Smart Energy Systems over the Cloud

Bogomolov, Sergiy, Martel, Matthieu, Prabhakar, Pavithra

Year:

2017

Language:

english

File:

PDF, 158 KB

english, 2017

30

[Lecture Notes in Computer Science] Numerical Software Verification Volume 10152 || Model Based Automatic Code Generation for Nonlinear Model Predictive Control

Bogomolov, Sergiy, Martel, Matthieu, Prabhakar, Pavithra

Year:

2017

Language:

english

File:

PDF, 908 KB

english, 2017

31

[ACM Press the 20th International Workshop - Sankt Goar, Germany (2017.06.12-2017.06.13)] Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems - SCOPES '17 - Numerical Accuracy Improvement by Interprocedural Program Transformation

Damouche, Nasrine, Martel, Matthieu, Chapoutot, Alexandre

Year:

2017

Language:

english

File:

PDF, 732 KB

english, 2017

32

[IEEE 2017 IEEE 28th International Symposium on Software Reliability Engineering: Workshops (ISSREW) - Toulouse (2017.10.23-2017.10.26)] 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - An Overview of Numalis Software Suite for Reliable Numerical Computation

Ioualalen, Arnault, Martel, Matthieu, Normand, Nicolas

Year:

2017

Language:

english

File:

PDF, 161 KB

english, 2017

33

Detailed Study of Odor from Pig Buildings to Improve Understanding of Biotrickling Filter Performance

Martel, Myra C., Lemay, Stéphane P., Predicala, Bernardo Z., Girard, Matthieu, Belzile, Martin, Feddes, John, Hogue, Richard, Godbout, Stéphane

Journal:

Transactions of the ASABE

Year:

2017

Language:

english

File:

PDF, 1.66 MB

english, 2017

34

Inhibition of hepatitis B viral entry by nucleic acid polymers in HepaRG cells and primary human hepatocytes

Guillot, Clément, Martel, Nora, Berby, Françoise, Bordes, Isabelle, Hantz, Olivier, Blanchet, Matthieu, Sureau, Camille, Vaillant, Andrew, Chemin, Isabelle, Datta, Sibnarayan

Journal:

Year:

2017

Language:

english

File:

PDF, 7.24 MB

english, 2017

35

[IEEE 2018 5th International Conference on Control, Decision and Information Technologies (CoDIT) - Thessaloniki, Greece (2018.4.10-2018.4.13)] 2018 5th International Conference on Control, Decision and Information Technologies (CoDIT) - On the Impact of Numerical Accuracy Optimization on General Performances of Programs

Damouche, Nasrine, Martel, Matthieu

Year:

2018

Language:

english

File:

PDF, 930 KB

english, 2018

36

Numerically accurate code synthesis for Gauss pivoting method to solve linear systems coming from mechanics

Barboteu, Mikaël, Djehaf, Nacera, Martel, Matthieu

Journal:

Computers & Mathematics with Applications

Year:

2018

Language:

english

File:

PDF, 984 KB

english, 2018

37

Diagnostic Accuracy of Procalcitonin for Early Aspiration Pneumonia in Critically Ill Patients with Coma: A Prospective Study

Legriel, Stéphane, Grigoresco, Benedicte, Martel, Patricia, Henry-Lagarrigue, Matthieu, Lvovschi, Virginie, Troché, Gilles, Amara, Marlène, Jacq, Gwenaelle, Bruneel, Fabrice, Bernard, Maguy, Marinier,

Journal:

Neurocritical Care

Year:

2018

Language:

english

File:

PDF, 1.04 MB

english, 2018

38

[IEEE 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT) - Paris, France (2019.4.23-2019.4.26)] 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT) - Fixed Point Computation by Exponentiating Linear Operators

Mansouri, Asma, Martel, Matthieu, Serea, Oana Silvia

Year:

2019

Language:

english

File:

PDF, 902 KB

english, 2019

39

[IEEE 2019 International Conference on Internet of Things, Embedded Systems and Communications (IINTEC) - Tunis, Tunisia (2019.12.20-2019.12.22)] 2019 International Conference on Internet of Things, Embedded Systems and Communications (IINTEC) - Precision Tuning and Internet of Things

Ben Khalifa, Dorra, Martel, Matthieu

Year:

2019

File:

PDF, 410 KB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски